涵数调用和返回控制是用( )实现的。